x(\d+) ^= rotate\((.+), (\d+)\);
y = \2;\r\nx\1 ^= (y << \3) | (y >> (32 - \3));